In discussing propositional quantifiers we have considered two kinds of variables: variables occupying the argument places of connectives, and variables occupying the argument places of predicates.We began with languages which contained the first kind of variable, i.e., variables taking sentences as substituends. Our first point was that there appear to be no sentences in English that serve as adequate readings of formulas containing propositional quantifiers. Then we showed how a certain natural and illuminating extension of English by prosentences did provide (...) perspicuous readings. The point of introducing prosentences was to provide a way of making clear the grammar of propositional variables: propositional variables have a prosentential character — not a pronominal character. Given this information we were able to show, on the assumption that the grammar of propositional variables in philosopher's English should be determined by their grammar in formal languages (unless a separate account of their grammar is provided), that propositional variables can be used in a grammatically and philosophically acceptable way in philosophers' English. According to our criteria of well-formedness Carnap's semantic definition of truth does not lack an ‘essential’ predicate - despite arguments to the contrary. It also followed from our account of the prosentential character of bound propositional variables that in explaining propositional quantification, sentences should not be construed as names.One matter we have not discussed is whether such quantification should be called ‘propositional’, ‘sentential’, or something else. As our variables do not range over (they are not terms) either propositions, or sentences, each name is inappropriate, given the usual picture of quantification. But we think the relevant question in this context is, are we obtaining generality with respect to propositions, sentences, or something else?Because people have argued that all bound variables must have a pronominal character, we presented and discussed in the third section languages in which the variables take propositional terms as substituends. In our case we included names of propositions, that-clauses, and names of sentences in the set of propositional terms. We made a few comparisons with the languages discussed in the second section. We showed among other things how a truth predicate could be used to obtain generality. In contrast, the languages of the second section, using propositional variables, obtain generality without the use of a truth predicate. (shrink)

Most of us, were we faced with a life threatening situation, would try to avoid it; we do not want to die. Yet Lucretius has argued that death can be ‘nothing to us,’ for when death has occurred we don't exist: we can't suffer something if we don't exist.If death can be a misfortune, what is the misfortune suffered, and who suffers it? The misfortune must be suffered by the person who dies, before death has occurred, otherwise – as Lucretius (...) points out – there is no subject to suffer the misfortune. But what kind of misfortune can the misfortune of death be, that a person can suffer it before he or she dies? This question provides the focus of the paper.Our attitudes towards death and life are determined in part by beliefs we have about a variety of things, for example, whether or not there is a life after death. As I shall assume that life ceases at death the attitudes towards death for which I seek explanations will not be universally endorsed; nor are the attitudes towards life, in terms of which the explanations will be given, universally endorsed. My project is not to defend a set of attitudes but to show that the set of attitudes towards life that I consider provide an explanation of a set of attitudes that some people have towards death. (shrink)